#ifndef __PLATFORM_H_
#define __PLATFORM_H_

#include "xparameters.h"
#include "xil_cache.h"

void init_platform();
void cleanup_platform();

#endif
